161. Geometric Calculus
Author: by Giuseppe Peano.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics.
162. Geometry of Subanalytic and Semialgebraic Sets
Author: by Masahiro Shiota.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebraic topology.,Geometry, Algebraic.,Geometry.,Logic, Symbolic and mathematical.,Mathematics.,Topology.
163. Geometry of knowledge for intelligent systems
Author: Resconi, Germano
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Calculus of tensors,، Logic, Symbolic and mathematical,Mathematics ، Intelligent agents )Computer software(
Classification :
QA
433
.
R47G4
164. Gnomes in the Fog :
Author: by Dennis E. Hesseling.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics.
165. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1
.
G6
1996a
166. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
Author: Petr Hajek )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1L44
Vol
.
6
167. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
Author: Petr Hajek )ed.(
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1
G6
1996
168. Grundlagen der Mathematik
Author: Hilbert, David
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
Classification :
QA
9
.
H52
169. Handbook of Set Theory
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mathematics. ; Logic. ; Science ; Philosophy. ; Logic, Symbolic and mathematical. ; Mathematics. ; Mathematical Logic and Foundations. ; Logic. ; Philosophy of Science. ;
170. Handbook of mathematical induction: theory and applications
Author: / David S. Gunderson
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Proof theory,Induction (Mathematics),Logic, Symbolic and mathematical,Probabilities
Classification :
511
.
36
G975H
2011
171. Handbook of spatial logics
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical. ; Mathematics. ;
172. Helping students make sense of the world using next generation science and engineering practices /
Author: Christina V. Schwarz, Cindy Passmore, and Brian J. Reiser.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Curriculum evaluation.,Curriculum-based assessment.,Logic, Symbolic and mathematical-- Study and teaching.,Mathematics-- Study and teaching.,Science-- Study and teaching.,Curriculum evaluation.,Curriculum-based assessment.,Logic, Symbolic and mathematical-- Study and teaching.,Mathematics-- Study and teaching.,SCIENCE / Study & Teaching,Science-- Study and teaching.
Classification :
QA9
173. How to prove it
Author: Daniel J. Velleman ,Velleman, Daniel J.,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Mathematics,Proof theory,Textbooks.,Textbooks.,Textbooks.
Classification :
QA9
.
V38
2019
174. How to prove it :
Author: / Daniel J. Velleman
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic, Symbolic and mathematical,Mathematics
Classification :
E-BOOK
175. How to prove it
Author: / Daniel J. Velleman
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical,Mathematics
Classification :
QA9
.
V38
1994
176. How to prove it
Author: / Daniel J. Velleman
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic, Symbolic and mathematical,Mathematics
Classification :
QA9
.
V38
2006
177. How to prove it : a structured approach
Author: Velleman, Daniel J.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Mathematics
Classification :
QA
9
.
V38
1994
178. How to prove it : a structured approach
Author: Velleman, Daniel J.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Logic, Symbolic and mathematical , Mathematics
Classification :
QA
9
.
V38
179. How to prove it : a structured approach
Author: Velleman, Daniel J.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Mathematics
Classification :
QA
9
.
V4
